https://www.marcogarosi.it/courses/computability/k-is-re-non-recursive//